package cn.tsinghua.david.gc.ifc;

import java.util.ArrayList;
import cn.tsinghua.david.gc.obj.GCASPair;
import cn.tsinghua.david.gc.obj.GCState;

public interface IGCDeduce {
	public ArrayList<GCASPair> nextState(GCState state);
	public GCState generateStateGraph(String start);
}
